if ( paging_mode_hap(v->domain) )
{
vmcb->np_enable = 1;
- vmcb->g_pat = 0x0007040600070406ULL; /* guest PAT */
+ vmcb->g_pat = MSR_IA32_CR_PAT_RESET; /* guest PAT */
vmcb->h_cr3 = pagetable_get_paddr(v->domain->arch.phys_table);
}
if ( paging_mode_hap(v->domain) )
{
vmcb->np_enable = 1; /* enable nested paging */
- vmcb->g_pat = 0x0007040600070406ULL; /* guest PAT */
+ vmcb->g_pat = MSR_IA32_CR_PAT_RESET; /* guest PAT */
vmcb->h_cr3 = pagetable_get_paddr(v->domain->arch.phys_table);
/* No point in intercepting CR3 reads/writes. */
u64 host_pat, guest_pat;
rdmsrl(MSR_IA32_CR_PAT, host_pat);
- guest_pat = 0x7040600070406ULL;
+ guest_pat = MSR_IA32_CR_PAT_RESET;
__vmwrite(HOST_PAT, host_pat);
__vmwrite(GUEST_PAT, guest_pat);
#define MSR_IA32_MTRR_PHYSMASK7 0x0000020f
#define MSR_IA32_CR_PAT 0x00000277
+#define MSR_IA32_CR_PAT_RESET 0x0007040600070406ULL
#define MSR_IA32_MC0_CTL 0x00000400
#define MSR_IA32_MC0_STATUS 0x00000401